Evelina Lamma: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Modularity in Logic Programming

Michele Bugliesi, Evelina Lamma, Paola Mello

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 4.77 MB

english, 1994

2

An extended Warren abstract machine for the execution of structured logic programs

Evelina Lamma, Paola Mello, Antonio Natali

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 2.37 MB

english, 1992

3

[IEEE 2017 IEEE International Memory Workshop (IMW) - Monterey, CA, USA (2017.5.14-2017.5.17)] 2017 IEEE International Memory Workshop (IMW) - Characterization of TLC 3D-NAND Flash Endurance through Machine Learning for LDPC Code Rate Optimization

Zambelli, Cristian, Cancelliere, Giuseppe, Riguzzi, Fabrizio, Lamma, Evelina, Olivo, Piero, Marelli, Alessia, Micheloni, Rino

Year:

2017

Language:

english

File:

PDF, 402 KB

english, 2017

4

Partial deduction for structured logic programming

Michele Bugliesi, Evelina Lamma, Paola Mello

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 2.45 MB

english, 1993

5

Cooperation and Competition inALIAS: A Logic Framework for Agents that Negotiate

Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 229 KB

english, 2003

6

Probabilistic logic programming on the web

Riguzzi, Fabrizio, Bellodi, Elena, Lamma, Evelina, Zese, Riccardo, Cota, Giuseppe

Journal:

Software: Practice and Experience

Year:

2015

Language:

english

File:

PDF, 838 KB

english, 2015

7

Probabilistic inductive constraint logic

Riguzzi, Fabrizio, Bellodi, Elena, Zese, Riccardo, Alberti, Marco, Lamma, Evelina

Journal:

Machine Learning

Year:

2020

File:

PDF, 1.80 MB

2020

8

Verifiable agent interaction in abductive logic programming

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 318 KB

english, 2008

9

Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming

Azzolini, Damiano, Riguzzi, Fabrizio, Lamma, Evelina

Journal:

Year:

2019

File:

PDF, 902 KB

2019

10

Strategies in Combined Learning via Logic Programs

Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira

Journal:

Machine Learning

Year:

2000

Language:

english

File:

PDF, 137 KB

english, 2000

11

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling

Chesani, Federico, Cota, Giuseppe, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Riguzzi, Fabrizio

Journal:

Engineering Applications of Artificial Intelligence

Year:

2020

File:

PDF, 844 KB

2020

12

Compositional model-theoretic semantics for logic programs

Antonio Brogi, Evelina Lamma, Paola Mello

Journal:

New Generation Computing

Year:

1992

Language:

english

File:

PDF, 1011 KB

english, 1992

13

An image analysis approach for automatically re-orienteering CT images for dental implants

Rita Cucchiara, Evelina Lamma, Tommaso Sansoni

Journal:

Computerized Medical Imaging and Graphics

Year:

2004

Language:

english

File:

PDF, 742 KB

english, 2004

14

Editorial: 29th International conference on logic programming special issue – ADDENDUM

LAMMA, EVELINA, SWIFT, TERRANCE

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 35 KB

english, 2018

15

A web system for reasoning with probabilistic OWL

Bellodi, Elena, Lamma, Evelina, Riguzzi, Fabrizio, Zese, Riccardo, Cota, Giuseppe

Journal:

Software: Practice and Experience

Year:

2016

Language:

english

File:

PDF, 1.13 MB

english, 2016

16

[Lecture Notes in Computer Science] AI*IA 2015, Advances in Artificial Intelligence Volume 9336 ||

Gavanelli, Marco, Lamma, Evelina, Riguzzi, Fabrizio

Year:

2015

Language:

english

File:

PDF, 24.68 MB

english, 2015

17

LAILA: a language for coordinating abductive reasoning among logic agents

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni

Journal:

Computer Languages

Year:

2001

Language:

english

File:

PDF, 459 KB

english, 2001

18

Reasoning on constraints in CLP(FD)

Evelina Lamma, Michela Milano, Paola Mello

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 1.62 MB

english, 1999

19

Integrating induction and abduction in logic programming

Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi

Journal:

Information Sciences

Year:

1999

Language:

english

File:

PDF, 1.50 MB

english, 1999

20

Distributed Logic Objects: A Fragment of Rewriting Logic and its Implementation

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 816 KB

english, 1996

21

Specification and Verification of Agent Interaction using Social Integrity Constraints

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 223 KB

english, 2004

22

Dealing with incomplete knowledge on CLP( FD ) variable domains

Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Milano, Michela

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2005

Language:

english

File:

PDF, 283 KB

english, 2005

23

Expressing and Verifying Business Contracts with Abductive Logic Programming

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Montali, Marco, Torroni, Paolo

Journal:

International Journal of Electronic Commerce

Year:

2008

Language:

english

File:

PDF, 723 KB

english, 2008

24

A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics

Riguzzi, Fabrizio, Bellodi, Elena, Zese, Riccardo, Cota, Giuseppe, Lamma, Evelina

Journal:

International Journal of Approximate Reasoning

Year:

2017

Language:

english

File:

PDF, 566 KB

english, 2017

25

Optimizing modular logic languages

Bugliesi, Michele, Ciampolini, Anna, Lamma, Evelina, Mello, Paola

Journal:

ACM Computing Surveys

Year:

1998

Language:

english

File:

PDF, 138 KB

english, 1998

26

Hypothetical reasoning in logic programming: a semantic approach

Antonio Brogi, Evelina Lamma, Paula Mello

Journal:

Information Processing Letters

Year:

1990

Language:

english

File:

PDF, 517 KB

english, 1990

27

COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

Alberti, Marco, Gavanelli, Marco, Lamma, Evelina, Chesani, Federico, Mello, Paola, Torroni, Paolo

Journal:

Applied Artificial Intelligence

Year:

2006

Language:

english

File:

PDF, 1.01 MB

english, 2006

28

Modern Information Processing || Improving the K2 Algorithm Using Association Rule Parameters

Year:

2006

Language:

english

File:

PDF, 1.17 MB

english, 2006

29

From implant planning to surgical execution: an integrated approach for surgery in oral implantology

Tommaso Chiarelli, Federico Franchini, Achille Lamma, Evelina Lamma, Tommaso Sansoni

Journal:

The International Journal of Medical Robotics and Computer Assisted Surgery

Year:

2012

Language:

english

File:

PDF, 520 KB

english, 2012

30

Reflection mechanisms for combining prolog databases

Evelina Lamma, Paola Mello, Antonio Natali

Journal:

Software: Practice and Experience

Year:

1991

Language:

english

File:

PDF, 1.27 MB

english, 1991

31

[IEEE 2009 IEEE International Workshop on Medical Measurements and Applications (MeMeA) - Cetraro, Italy (2009.05.29-2009.05.30)] 2009 IEEE International Workshop on Medical Measurements and Applications - A tool to achieve correct and precise measurements for oral implant planning and simulation

Chiarelli, Tommaso, Lamma, Evelina, Sansoni, Tommaso

Year:

2009

Language:

english

File:

PDF, 839 KB

english, 2009

32

An assumption-based truth maintenance system dealing with non-ground justifications

Journal:

Journal of Experimental & Theoretical Artificial Intelligence

Year:

1996

Language:

english

File:

PDF, 355 KB

english, 1996

33

ADES: An expert system for ATP design

Cremonini, Roberto, Lamma, Evelina, Mello, Paola

Journal:

Artificial intelligence for engineering design analysis and manufacturing

Year:

1989

Language:

english

File:

PDF, 1.81 MB

english, 1989

34

[Lecture Notes in Computer Science] AI*IA 2015 Advances in Artificial Intelligence Volume 9336 || GENOMA: GENeric Ontology Matching Architecture

Gavanelli, Marco, Lamma, Evelina, Riguzzi, Fabrizio

Year:

2015

Language:

english

File:

PDF, 501 KB

english, 2015

35

Statistical relational learning for workflow mining

Bellodi, Elena, Riguzzi, Fabrizio, Lamma, Evelina

Journal:

Intelligent Data Analysis

Year:

2016

Language:

english

File:

PDF, 439 KB

english, 2016

36

[IEEE 2014 IEEE International Conference on Healthcare Informatics (ICHI) - Verona, Italy (2014.9.15-2014.9.17)] 2014 IEEE International Conference on Healthcare Informatics - Appropriateness of Repeated Execution of Laboratory Examinations: A CDSS Approach

Gallerani, Massimo, Pelizzola, Dario, Pivanti, Marcello, Boni, Michela, Lamma, Evelina, Bellodi, Elena

Year:

2014

Language:

english

File:

PDF, 426 KB

english, 2014

37

Unsupervised and supervised learning in cascade for petroleum geology

Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma

Journal:

Expert Systems with Applications

Year:

2012

Language:

english

File:

PDF, 1.19 MB

english, 2012

38

The implementation of a distribution model for logic programming based on multiple-headed clauses

Antonio Brogi, Anna Ciampolini, Evelina Lamma, Paolo Mello

Journal:

Information Processing Letters

Year:

1992

Language:

english

File:

PDF, 704 KB

english, 1992

39

From eager to lazy constrained data acquisition: A general framework

Paola Mello, Michela Milano, Marco Gavanelli, Evelina Lamma, Massimo Piccardi, Rita Cucchiara

Journal:

New Generation Computing

Year:

2001

Language:

english

File:

PDF, 2.82 MB

english, 2001

40

Mapping deontic operators to abductive expectations

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor

Journal:

Computational and Mathematical Organization Theory

Year:

2006

Language:

english

File:

PDF, 220 KB

english, 2006

41

[IEEE 2009 IEEE International Conference on Web Services (ICWS) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 IEEE International Conference on Web Services - Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

Alberti, Marco, Cattafi, Massimiliano, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Montali, Marco, Mello, Paola, Torroni, Paolo

Year:

2009

Language:

english

File:

PDF, 721 KB

english, 2009

42

Economic and organizational impact of a clinical decision support system on laboratory test ordering

Bellodi, Elena, Vagnoni, Emidia, Bonvento, Barbara, Lamma, Evelina

Journal:

BMC Medical Informatics and Decision Making

Year:

2017

Language:

english

File:

PDF, 833 KB

english, 2017

43

Extending constraint logic programming for temporal reasoning

Evelina Lamma, Michela Milano, Paola Mello

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 200 KB

english, 1998

44

Parametric composable modules in a logic programming language

Evelina Lamma, Paola Mello, Gianfranco Rossi

Journal:

Computer Languages

Year:

1993

Language:

english

File:

PDF, 1.35 MB

english, 1993

45

[IEEE 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Vietri sul Mare, Italy (2015.11.9-2015.11.11)] 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Reducing Laboratory Examinations by a Computer-Aided Clinical Decision Support System

Gallerani, Massimo, Pelizzola, Dario, Pivanti, Marcello, Guerra, Giovanni, Boni, Michela, Lamma, Evelina, Bellodi, Elena

Year:

2015

Language:

english

File:

PDF, 285 KB

english, 2015

46

Lifted Variable Elimination for Probabilistic Logic Programming

BELLODI, ELENA, LAMMA, EVELINA, RIGUZZI, FABRIZIO, COSTA, VITOR SANTOS, ZESE, RICCARDO

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 287 KB

english, 2014

47

A unifying view for logic programming with non-monotonic reasoning

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 3.96 MB

english, 1997

48

Learning specifications of interaction protocols and business processes and proving their properties

Alberti, Marco, Gavanelli, Marco, Lamma, Evelina, Riguzzi, Fabrizio, Storari, Sergio

Journal:

Intelligenza Artificiale

Year:

2011

File:

PDF, 71 KB

2011

49

Optimization techniques in building expert systems

Roberto Cremonini, Evelina Lamma, Paola Mello

Journal:

Microprocessing and Microprogramming

Year:

1987

Language:

english

File:

PDF, 571 KB

english, 1987

50

Reasoning on Datalog± Ontologies with Abductive Logic Programming

Gavanelli, Marco, Lamma, Evelina, Riguzzi, Fabrizio, Bellodi, Elena, Zese, Riccardo, Cota, Giuseppe, Maratea, Marco, Mascardi, Viviana, Ancona, Davide, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 352 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски